More from this Author
Found 5 books by Marieke Huisman (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by Dirk Beyer (Editor), Marieke Huisman (Editor), Fabrice Kordon (Editor), Bernhard Steffen (Editor)
Integrated Formal Methods
by Erika Ábrahám (Editor), Marieke Huisman (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by Dirk Beyer (Editor), Marieke Huisman (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by Dirk Beyer (Editor), Marieke Huisman (Editor)
Integrated Formal Methods
by Erika Ábrahám (Editor), Marieke Huisman (Editor)